" Steve Schneider" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Concurrent and Real-time Systems: The CSP Approach

Автор: Steve Schneider

Размер книги: 15.47 Mb

Formal Aspects in Security and Trust, 4 conf., FAST 2006

Автор: Theo Dimitrakos, Автор: Fabio Martinelli, Автор: Peter Y A Ryan, Автор: Steve Schneider

Категория: CsLn_

Размер книги: 3.05 Mb

Formal Aspects in Security and Trust: Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canda, August 26-27, 2006, Revised Selected Papers

Автор: Theo Dimitrakos, Автор: Fabio Martinelli, Автор: Peter Y A Ryan, Автор: Steve Schneider

Размер книги: 4.54 Mb

Formal Aspects of Security: First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers

Автор: Ali E. Abdallah, Автор: Peter Ryan, Автор: Steve Schneider

Размер книги: 2.11 Mb

Formal Aspects in Security and Trust: Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers

Автор: Theo Dimitrakos, Автор: Fabio Martinelli, Автор: Peter Y.A. Ryan, Автор: Steve Schneider

Размер книги: 2.93 Mb

ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings

Автор: Helen Treharne, Автор: Steve King, Автор: Martin Henson, Автор: Steve Schneider

Размер книги: 6.90 Mb

The B-Method, an Introduction

Автор: Steve Schneider

Категория: Formal Methods

Размер книги: 4.99 Mb